《论证与分析:逻辑的应用》是为训练青年人的逻辑思维能力而写的书。对于青年人，尤其是文科高校的本科生，具有逻辑头脑比具备逻辑知识更重要。那么，怎样才能把逻辑知识的学习与逻辑思维能力的培养有效地结合起来呢？这就是《论证与分析:逻辑的应用》倾全力要解决的问题。 这是一本以分析和处理日常思维中的逻辑问题为主要目标的逻辑教科书。它在内容与体系的安排、材料选择与研究方法的运用等方面的无先例。最简易的检验方法莫过于随便翻翻这本书。 这是一本人人都能读懂的书。它通俗而不庸俗、易懂而不乏学术性、选材丰富而不哗众取宠、追求实用而不敢忽视知识传播的严肃性……它是一本有助于提高读者的逻辑思维能力从而使人具有良好的思维素质的书。

本书研究规范理论与逻辑理论在法律论证中的运用及其限度。它主要包括这样一些问题：规范是不是逻辑规训的对象？假如是的话，是否存在独特的规范逻辑（法律逻辑）？如果存在的话，那么规范逻辑包括哪些类型？从这些不同的类型出发，可以获得哪些规范论证的逻辑型式？它们对于法律论证的意义和限度在哪里？ 本书具有比较重大的理论价值，也有潜在的实践意义。逻辑在法律推理和司法裁判中的运用及其限度一直是学界关注的重点之一。尤其是对于不那么强调逻辑思维的中国学人和法官而言，利用逻辑工具去批评和改善司法裁判就放在我们面前的一个任务。同时，从规范理论出发来研究逻辑与论证的关系在国际学界尚属前列。本书意图在这一方面有所推进。

作为一部新颖的高中逻辑通识选修课程用书，本书在导论逻辑的框架下，从逻辑论证和批判性思维的实用角度来设计和编写，既系统讲述逻辑学基础知识和基本原理，更侧重于思维能力的提升，注重于逻辑论证技能与方法训练。内容包括：逻辑导论、论证分析、演绎论证、归纳论证、论证评价以及应试指南。本书适合作为高中学生、教师、家长与对逻辑与批判性思维感兴趣的读者阅读。

《矩阵分析与应用》(精装)将矩阵的分析分为梯度分析、奇异值分析、特征分析、子空间分析与投影分析五大部分，以一种新的体系、系统、全面地介绍矩阵分析的主要理论、方法及应用。全书共10章，内容包括矩阵与线性方程组、特殊矩阵、Toeplitz矩阵、矩阵的变换与分解、梯度分析与最优化、奇异值分析、总体最小二乘方法、特征分析、子空间分析、投影分析。《矩阵分析与应用》(精装)取材广泛，内容新颖，理论与应用密切结合。书中介绍了矩阵分析的丰富理论和大量生动应用，可以帮助读者学会如何使用矩阵这一重要数学工具，灵活解决科学和工程技术中的大量问题。

《矩阵分析与应用（第2版）》系统、全面地介绍矩阵分析的主要理论、具有代表性的方法及一些典型应用。全书共10章，内容包括矩阵代数基础、特殊矩阵、矩阵微分、梯度分析与最优化、奇异值分析、矩阵方程求解、特征分析、子空间分析与跟踪、投影分析、张量分析。前3章为全书的基础，组成矩阵代数；后7章介绍矩阵分析的主体内容及典型应用。为了方便读者对数学理论的理解以及培养应用矩阵分析进行创新应用的能力，《矩阵分析与应用（第2版）》始终贯穿一条主线一一物理问题“数学化”，数学结果“物理化”。与第1版相比，《矩阵分析与应用（第2版）》的篇幅有明显的删改和压缩，大量补充了近几年发展迅速的矩阵分析新理论、新方法及新应用。 《矩阵分析与应用（第2版）》为北京市高等教育精品教材重点立项项目，适合于需要矩阵知识比较多的理科和工科尤其是信息科学与技术（电子、通信、自动控制、计算机、系统...(展开全部)

提升科学论证能力的主要途径在于改进思维方法，作为“科学逻辑”丛书之一，本书从科学论证的实用角度来编写，不仅详细介绍了科学论证的逻辑原理，而且结合丰富的科学案例来阐明如何发现问题、分析问题和解决问题，以此论述科学的论证方法，从而启发科学思维并提升读者的科学论证技能。 本书共分为十章，内容包括逻辑概论、论证语言、论证识别、论证重构、演绎论证、归纳论证、证据评估、论证评价、论证分析、论证构建，并附录有科学论证测试，具有科学性、系统性、实用性的特点。本书适合作为高等院校逻辑学、论证与批判性思维、科学逻辑与科学思维方法等相关课程的教材或参考用书，也适合对此感兴趣的各类读者阅读。

提升科学论证能力的主要途径在于改进思维方法，作为“科学逻辑”丛书之一，本书从科学论证的实用角度来编写，不仅详细介绍了科学论证的逻辑原理，而且结合丰富的科学案例来阐明如何发现问题、分析问题和解决问题，以此论述科学的论证方法，从而启发科学思维并提升读者的科学论证技能。 本书共分为十章，内容包括逻辑概论、论证语言、论证识别、论证重构、演绎论证、归纳论证、证据评估、论证评价、论证分析、论证构建，并附录有科学论证测试，具有科学性、系统性、实用性的特点。本书适合作为高等院校逻辑学、论证与批判性思维、科学逻辑与科学思维方法等相关课程的教材或参考用书，也适合对此感兴趣的各类读者阅读。

这部理论哲学著作包含五个部分的内容，分别讨论心灵的特点、语词的意义、知识的地位、世界的结构以及宗教信念的性质。作者试着在当代显著的多元思想的背景下，分析和探索人类心灵与其他自然事物的连续性、真理和实在的客观性、以及一种统一的世界观的可能性。

《图尔敏论证逻辑思想研究》全面诠释了图尔敏的论证逻辑理论，并从逻辑哲学的角度探讨了关于图尔敏论证逻辑的基本观点和基本原则，进而做出前瞻性的思考。图尔敏的这种新逻辑观可以理解为逻辑论证模式的认识论基础；域的理论可以被理解为评价论证逻辑理论的一个标准，而围绕对绝对主义或者相对主义这两种思想的批判，意在寻找一条中间道路；图尔敏提出面向实践的合情理性理念，可以被看作是逻辑理性的一次重要的转变。 从总体上看，他的贡献主要是在逻辑哲学方面，但是，图尔敏的论证逻辑思想过分强调非形式化而忽视了形式化，尽管图尔敏论证模式开启了逻辑的实践转向，但是这个模式弱化了逻辑的评价标准，而“域”的理论又过于宽泛，因此，尽管图尔敏声称要拒斥绝对主义和避免相对主义，实际上却难以和他们划清界限。

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。